qdiv($r$; $s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$r$ $\ast$ qinv($s$)